#screen {
	font-size: 10pt;
	font-family: sans-serif;
	width: 95%;
	height: 85%;
	position: relative;
}
#charinput {
	display: none;
	border: 1px solid #aaa;
	font-family: monospace;
}
#input {
	width: 95%;
	border: 1px solid #aaa;
	font-family: monospace;
}
#screen pre {
	margin: 0;
	font-family: "Courier New",monospace;
}
#screen div {
	overflow: auto;
}
.timed {
	background-color: #ddf;
}
